direct product of lattice

[数] 格的直积